On ε-Biased Generators in NC0
نویسندگان
چکیده
Cryan and Miltersen [7] recently considered the question of whether there can be a pseudorandom generator in NC, that is, a pseudorandom generator that maps n bits strings to m bits strings and such that every bit of the output depends on a constant number k of bits of the seed. They show that for k = 3, if m ≥ 4n + 1, there is a distinguisher; in fact,they show that in this case it is possible to break the generator with a linear test, that is, there is a subset of bits of the output whose XOR has a noticeable bias. They leave the question open for k ≥ 4. In fact they ask whether every NC generator can be broken by a statistical test that simply XORs some bits of the input. Equivalently, is it the case that no NC generator can sample an ε-biased space with negligible ε? We give a generator for k = 5 that maps n bits into cn bits, so that every bit of the output depends on 5 bits of the seed, and the XOR of every subset of the bits of the output has bias 2−Ω(n/c 4). For large values of k, we construct generators that map n bits to n √ k) bits and such that every XOR of outputs has bias 2−n 1 2 √ k . We also present a polynomial-time distinguisher for k = 4,m ≥ 24n having constant distinguishing probability. For large values of k we show that a linear distinguisher with a constant distinguishing probability exists once m ≥ Ω(2kndk/2e). Finally, we consider a variant of the problem where each of the output bits is a degree k polynomial in the inputs. We show there exists a degree k = 2 pseudo random generator for which the XOR of every subset of the outputs has bias 2−Ω(n) and which map n bits to Ω(n) bits. ∗Supported by a Miller fellowship †Supported by National Security Agency (NSA) and Advanced Research and Development Activity (ARDA) under Research Office (ARO) contract no. DAAD19-01-1-0506.
منابع مشابه
Cryptography in NC0
We study the parallel time-complexity of basic cryptographic primitives such as one-way functions (OWFs) and pseudorandom generators (PRGs). Specifically, we study the possibility of implementing instances of these primitives by NC functions, namely by functions in which each output bit depends on a constant number of input bits. Despite previous efforts in this direction, there has been no con...
متن کاملOn ε-Biased Generators in NC
Cryan and Miltersen [8] recently considered the question of whether there can be a pseudorandom generator in NC, that is, a pseudorandom generator that maps n-bit strings to m-bit strings such that every bit of the output depends on a constant number k of bits of the seed. They show that for k = 3, if m ≥ 4n + 1, there is a distinguisher; in fact, they show that in this case it is possible to b...
متن کاملSmall-Bias Sets for Nonabelian Groups: Derandomizing the Alon-Roichman Theorem
In analogy with ε-biased sets over Z2 , we construct explicit ε-biased sets over nonabelian finite groups G. That is, we find sets S ⊂ G such that ‖Ex∈S ρ(x)‖ ≤ ε for any nontrivial irreducible representation ρ. Equivalently, such sets make G’s Cayley graph an expander with eigenvalue |λ| ≤ ε. The Alon-Roichman theorem shows that random sets of sizeO(log |G|/ε2) suffice. For groups of the form ...
متن کاملMore on bounded independence plus noise: Pseudorandom generators for read-once polynomials
We construct pseudorandom generators with improved seed length for several classes of tests. First we consider the class of read-once polynomials over GF(2) in m variables. For error ε we obtain seed length Õ(log(m/ε)) log(1/ε), where Õ hides lower-order terms. This is optimal up to the factor Õ(log(1/ε)). The previous best seed length was polylogarithmic in m and 1/ε. Second we consider produc...
متن کاملReductions in Circuit Complexity : An Isomorphism Theorem and a Gap Theorem . 1
We show that all sets that are complete for NP under non-uniform AC0 reductions are isomorphic under non-uniform AC0-computable isomorphisms. Furthermore, these sets remain NP-complete even under non-uniform NC0 reductions. More generally, we show two theorems that hold for any complexity class C closed under (uniform) NC1-computable many-one reductions. Gap: The sets that are complete for C un...
متن کامل